منابع مشابه
AN INDUCTIVE FUZZY DIMENSION
Using a system of axioms among with a modified definition of boundary on the basis of the intuitionistic fuzzy sets, we formulate an inductive structure for the dimension of fuzzy spaces which has been defined by Coker. This new definition of boundary allows to characterize an intuitionistic fuzzy clopen set as a set with zero boundary. Also, some critical properties and applications are establ...
متن کاملSubstitution Tilings
Two new series of substitution tilings are introduced in which the tiles appear in infinitely many orientations. It is shown that several properties of the well-known pinwheel tiling do also hold for these new examples, and, in fact, for all substitution tilings showing tiles in infinitely many orientations. Dedicated to my teacher Ludwig Danzer on the occasion of his 80th birthday
متن کاملInductive-Inductive Definitions
We present a principle for introducing new types in type theory which generalises strictly positive indexed inductive data types. In this new principle a set A is defined inductively simultaneously with an A-indexed set B, which is also defined inductively. Compared to indexed inductive definitions, the novelty is that the index set A is generated inductively simultaneously with B. In other wor...
متن کاملQuotient inductive-inductive types
Higher inductive types (HITs) in Homotopy Type Theory (HoTT) allow the definition of datatypes which have constructors for equalities over the defined type. HITs generalise quotient types, and allow to define types which are not sets in the sense of HoTT (i.e. do not satisfy uniqueness of equality proofs) such as spheres, suspensions and the torus. However, there are also interesting uses of HI...
متن کاملTilings by Regular Polygons Iii: Dodecagon-dense Tilings
In Tilings and Patterns, Grünbaum and Shephard claim that there are only four kuniform tilings by regular polygons (for some k) that have a dodecagon incident at every vertex. In fact, there are many others. We show that the tilings that satisfy this requirement are either the uniform 4.6.12 tiling, or else fall into one of two infinite classes of such tilings. One of these infinite classes can...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Труды математического института им. Стеклова
سال: 2015
ISSN: 0371-9685
DOI: 10.1134/s0371968515010197